Issue3301.agda:6,3-8
Cannot generalize over unsolved sort metas:
  _1 at Issue3301.agda:6,7-8
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any
Issue3301.agda:7,3-12
Cannot generalize over unsolved sort metas:
  _5 at Issue3301.agda:7,7-8
  _7 at Issue3301.agda:7,11-12
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any

———— All done; warnings encountered ————————————————————————

Issue3301.agda:6,3-8
Cannot generalize over unsolved sort metas:
  _1 at Issue3301.agda:6,7-8
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any

Issue3301.agda:7,3-12
Cannot generalize over unsolved sort metas:
  _5 at Issue3301.agda:7,7-8
  _7 at Issue3301.agda:7,11-12
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any
